Verification, Model Checking, and Abstract Interpretation
- Izpārdots
0
/https://libri-media.knygos-static.lt/da068752-f223-4239-bb30-0b9e20dd1593/1)
- Izdevējs Springer-Verlag GmbH
- Gads: 2011
- ISBN-10 : 3642182747
- ISBN-13 : 9783642182747
- Formāts: 15.9 x 24.1 x 2.5 cm, minkšti viršeliai
- Valoda: Anglų
Verification, Model Checking, and Abstract Interpretation | Bookbook.lv
Atsauksmes
Izpārdots
Vai jums ir kopija? Pārdodiet to!
- Izdevējs Springer-Verlag GmbH
- Gads: 2011
- ISBN-10: 3642182747
- ISBN-13: 9783642182747
- Formāts 15.9 x 24.1 x 2.5 cm, minkšti viršeliai
- Valoda: Anglų
Atsauksmes